#ifndef __TIMER_H__
#define __TIMER_H__

/// Zähler, der mit jedem Timerinterrupt incrementiert wird
extern unsigned long jiffies;

void init_timer();
int  has_timer_raised_interrupt();

#endif // __TIMER_H__

